Guide to Discrete Mathematics by Gerard O'Regan

Author:Gerard O'Regan
Language: eng
Format: epub, pdf
Publisher: Springer International Publishing, Cham

Denotational semantics

This approach provides meaning to programs in terms of mathematical objects such as integers, tuples and functions

Each phrase in the language is translated into a mathematical object that is the denotation of the phrase

There are several applications of programming language semantics including language design, program verification, compiler writing and language standardization. The three main approaches to semantics are described in more detail below.

12.4.1 Axiomatic Semantics

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.